Disproving the Neighborhood Conjecture
نویسنده
چکیده
We study the following Maker/Breaker game. Maker and Breaker take turns in choosing vertices from a given n-uniform hypergraph F , with Maker going first. Maker’s goal is to completely occupy a hyperedge and Breaker tries to avoid this. Beck conjectures that if the maximum neighborhood size of F is at most 2 then Breaker has a winning strategy. We disprove this conjecture by establishing an n-uniform hypergraph with maximum neighborhood size 3 ·2 where Maker has a winning strategy. Moreover, we show how to construct an n-uniform hypergraph with maximum degree 2 n−1 n where Maker has a winning strategy. Finally we show that each n-uniform hypergraph with maximum degree at most 2 n−2 en has a proper halving 2-coloring, which solves another open problem posed by Beck related to the Neighbourhood Conjecture.
منابع مشابه
Finding Uniquely Hamiltonian Graphs of Minimum Degree Three with Small Crossing Numbers
In graph theory, a prominent conjecture of Bondy and Jackson states that every uniquely hamiltonian planar graph must have a vertex of degree two. In this work we try to find uniquely hamiltonian graphs with minimum degree three and a small crossing number by minimizing the number of crossings in an embedding and the number of degree-two vertices. We formalize an optimization problem for this p...
متن کاملDiagnosing a Failed Proof in Fault-Tolerance: A Disproving Challenge Problem
This paper proposes a challenge problem in disproving. We describe a fault-tolerant distributed protocol designed at NASA for use in a fly-by-wire system for next-generation commercial aircraft. An early design of the protocol contains a subtle bug that is highly unlikely to be caught in faultinjection testing. We describe a failed proof of the protocol’s correctness in a mechanical theorem pro...
متن کاملOn a Conjecture of D. Styer regarding Univalent Geometric and Annular Starlike Functions
The aim of this paper is two-fold. First, to give a direct proof for the already established result of Styer which states that a univalent geometrically starlike function f is a univalent annular starlike function if f is bounded. Second, to show that the boundedness condition of f is necessary, thus disproving a conjecture of Styer.
متن کاملA counterexample to a question of Atiyah
We prove that there are examples of finitely generated groups Γ together with group ring elements Q ∈ QΓ for which the von Neumann dimension dimLΓ kerQ is irrational, so (in conjunction with other known results) disproving a conjecture of Atiyah.
متن کاملTangents of plurisubharmonic functions
Tangents of plurisubharmonic functions Local properties of plurisubharmonic functions are studied by means of the notion of tangent which describes the behavior of the function near a given point. We show that there are plurisubharmonic functions with several tangents, disproving a conjecture of Reese Harvey.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- CoRR
دوره abs/0810.1981 شماره
صفحات -
تاریخ انتشار 2008